Issue2348-visible-instance.agda:28,8-9
b != Wrap.out w of type B
when checking that the expression p has type P (proj-like _ ⦃ w ⦄)
